Abstract interpretation of domain-specific embedded languages
نویسنده
چکیده
Interpretation of Domain-Specific Embedded Languages Kevin Backhouse Lincoln College Submitted for the degree of Doctor of Philosophy in Computation September 23, 2002
منابع مشابه
Towards a Modeling Environment for Composing Domain-Specific Modeling Languages: A Case Study on Controlling Traffic Lights
Domain-Specific Modeling Languages (DSMLs) play a fundamental role in the model-based design of embedded software and systems. While abstract syntax metamodeling enables the rapid and inexpensive development of DSMLs, the specification of DSML semantics is still a hard problem, particularly for models with heterogeneous models of computation. In this paper we consider issues associated with cre...
متن کاملNashville Tennessee , 37203 TECHNICAL REPORT TR # : ISIS - 05 - 605 Title : A Semantic Unit for Timed Automata Based Modeling Languages
Model-Integrated Computing (MIC) is an infrastructure for model-based design of real-time and embedded software and systems. MIC places strong emphasis on the use of domain-specific modeling languages (DSMLs) and model transformations in design flows. Building on our earlier work on transformational specification of semantics for DSMLs, the paper proposes a “semantic unit” a common semantic mod...
متن کاملLanguages with Concatenation ∗
Parsing for Two-staged Languages with Concatenation ∗ Soonho Kong Wontae Choi Kwangkeun Yi Seoul National University {soon,wtchoi,kwang}@ropas.snu.ac.kr Abstract This article, based on Doh, Kim, and Schmidt’s “abstract parsing” technique, presents an abstract interpretation for statically checking the syntax of generated code in two-staged programs. Abstract parsing is a static analysis techniq...
متن کاملCombining deep and shallow embedding of domain-specific languages
When compiling embedded languages it is natural to use an abstract syntax tree to represent programs. This is known as a deep embedding and it is a rather cumbersome technique compared to other forms of embedding, typically leading to more code and being harder to extend. In shallow embeddings, language constructs are mapped directly to their semantics which yields more flexible and succinct im...
متن کاملA Denotational Approach to Language Specification: a Causal Block Diagram Case Study
In the design of embedded control systems, a variety of languages are used by different teams and in different development phases. Part of this variety comes from the use of domain-specific modeling languages that are tailored to the mental concepts of the user. This puts forward the need for efficient, systematic, and structured design of the modeling languages themselves. In particular, a pre...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002